<html>
    <head>
        <title></title>
        <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
        <link rel="stylesheet" type="text/css" href="../style.css">
    </head>
    <body>
        <div class="text">
        <h2>Allgemeines</h2>
        ADAlyzer ist ein Tool zur Verifizierung von Programmcode. Dazu stellt es umfassende Möglichkeiten
zur Verfügung, den Nutzer bei der Erstellung korrekter Software zu unterstützen.
Allerdings sei darauf hingewiesen, dass es nicht allumfassend ist, dem Nutzer also nicht die
Regeln des Hoare-Kalküls, auf denen dieses Programm basiert, aus der Hand genommen werden. <br /><br />
ADAlyzer arbeitet mit einer eingeschränkten Version der Programmiersprache Ada, die hier
Mini-Ada genannt wird, zusammen. Nur darauf basierende Eingaben können entsprechend
berücksichtigt werden. Auf diese Aspekte geht das Benutzerhandbuch ein und auch die am
Ende angeführten Beispiele runden es ab: Das lineare Wurzelziehen (IntSqrt), welches aus
der Vorlesung bekannt ist und eine FindMaxIndex-Prozedur agewendet auf ein Array bestehend aus
Zahlenwerten. Dies soll verdeutlichen, wie das Programm arbeitet, wo Ergebnisse zu finden
sind und wie man diese weiterverwenden kann.
        </div>
    </body>
</html>
